embedded high-reliability software high reliability software development windows thin-client software linux radius3 unix open source high-assurance software application